Bump the production group across 1 directory with 3 updates · MiniZinc/minizinc-playground@94b08c0

Triggered via pull request April 28, 2025 11:29

opened #100

Status Success

Total duration 45s

Artifacts 1

gh-pages.yml

on: pull_request

Matrix: build-for-deployment

Produced during runtime

Name	Size	Digest
playground	363 KB	`sha256:ba8123e67575f99096de6d01edeaaa4226bd62f9f11d71d796bede12739f1bf5`